(0
 (
  ("(x 5)" 3 91)
  ("(x 6)" 91 120)
  ("(x 5)" 120 132)
  ("(x 4)" 132 141)
  ("(x 3)" 141 190)
  ("(x 2)" 190 200)
  ("(x 1)" 200 258)
  ("(x stable)" 4 10)
  ("(x up)" 10 17)
  ("(x stable)" 17 81)
  ("(x down)" 81 107)
  ("(x stable)" 107 111)
  ("(x up)" 111 157)
  ("(x stable)" 157 159)
  ("(x down)" 159 176)
  ("(x stable)" 176 182)
  ("(x up)" 182 226)
  ("(x stable)" 226 227)
  ("(x down)" 227 244)
  ("(x stable)" 244 248)
  ("(x up)" 248 258)
  ("(y 3)" 3 24)
  ("(y 2)" 24 85)
  ("(y 3)" 85 88)
  ("(y 4)" 88 90)
  ("(y 5)" 90 93)
  ("(y 6)" 93 119)
  ("(y 5)" 119 123)
  ("(y 4)" 123 127)
  ("(y 3)" 127 130)
  ("(y 2)" 130 135)
  ("(y 1)" 135 152)
  ("(y 2)" 152 156)
  ("(y 3)" 156 159)
  ("(y 4)" 159 161)
  ("(y 5)" 161 166)
  ("(y 6)" 166 183)
  ("(y 5)" 183 187)
  ("(y 4)" 187 189)
  ("(y 3)" 189 192)
  ("(y 2)" 192 199)
  ("(y 1)" 199 221)
  ("(y 2)" 221 225)
  ("(y 3)" 225 228)
  ("(y 4)" 228 230)
  ("(y 5)" 230 233)
  ("(y 6)" 233 258)
  ("(y stable)" 4 19)
  ("(y up)" 19 26)
  ("(y stable)" 26 28)
  ("(y up)" 28 35)
  ("(y stable)" 35 38)
  ("(y up)" 38 56)
  ("(y stable)" 56 58)
  ("(y up)" 58 65)
  ("(y stable)" 65 79)
  ("(y down)" 79 106)
  ("(y stable)" 106 107)
  ("(y up)" 107 143)
  ("(y stable)" 143 146)
  ("(y down)" 146 176)
  ("(y stable)" 176 177)
  ("(y up)" 177 211)
  ("(y stable)" 211 214)
  ("(y down)" 214 243)
  ("(y stable)" 243 246)
  ("(y up)" 246 258)
 ))
(1
 (
  ("(x 5)" 3 39)
  ("(x 6)" 39 79)
  ("(x 5)" 79 89)
  ("(x 4)" 89 96)
  ("(x 3)" 96 123)
  ("(x 4)" 123 153)
  ("(x 3)" 153 160)
  ("(x 2)" 160 167)
  ("(x 1)" 167 226)
  ("(x down)" 4 8)
  ("(x stable)" 8 30)
  ("(x down)" 30 54)
  ("(x stable)" 54 58)
  ("(x down)" 58 65)
  ("(x stable)" 65 70)
  ("(x up)" 70 103)
  ("(x stable)" 103 105)
  ("(x up)" 105 112)
  ("(x stable)" 112 114)
  ("(x down)" 114 137)
  ("(x stable)" 137 144)
  ("(x up)" 144 191)
  ("(x stable)" 191 193)
  ("(x down)" 193 212)
  ("(x stable)" 212 219)
  ("(x up)" 219 226)
  ("(y 2)" 3 36)
  ("(y 3)" 36 39)
  ("(y 4)" 39 41)
  ("(y 5)" 41 45)
  ("(y 6)" 45 70)
  ("(y 5)" 70 75)
  ("(y 4)" 75 79)
  ("(y 3)" 79 83)
  ("(y 2)" 83 92)
  ("(y 1)" 92 111)
  ("(y 2)" 111 115)
  ("(y 3)" 115 118)
  ("(y 4)" 118 121)
  ("(y 5)" 121 126)
  ("(y 6)" 126 149)
  ("(y 5)" 149 153)
  ("(y 4)" 153 156)
  ("(y 3)" 156 160)
  ("(y 2)" 160 166)
  ("(y 1)" 166 190)
  ("(y 2)" 190 194)
  ("(y 3)" 194 197)
  ("(y 4)" 197 200)
  ("(y 5)" 200 205)
  ("(y 6)" 205 223)
  ("(y 5)" 223 226)
  ("(y up)" 4 5)
  ("(y stable)" 5 27)
  ("(y down)" 27 54)
  ("(y stable)" 54 59)
  ("(y up)" 59 103)
  ("(y stable)" 103 104)
  ("(y down)" 104 136)
  ("(y stable)" 136 142)
  ("(y up)" 142 178)
  ("(y stable)" 178 183)
  ("(y down)" 183 211)
  ("(y stable)" 211 219)
  ("(y up)" 219 226)
 ))
(2
 (
  ("(x 6)" 3 74)
  ("(x 5)" 74 82)
  ("(x 4)" 82 93)
  ("(x 3)" 93 109)
  ("(x 2)" 109 111)
  ("(x 3)" 111 127)
  ("(x 4)" 127 148)
  ("(x 3)" 148 157)
  ("(x 2)" 157 172)
  ("(x 1)" 172 225)
  ("(x down)" 4 9)
  ("(x stable)" 9 28)
  ("(x down)" 28 55)
  ("(x stable)" 55 60)
  ("(x up)" 60 110)
  ("(x stable)" 110 111)
  ("(x down)" 111 133)
  ("(x stable)" 133 145)
  ("(x up)" 145 195)
  ("(x stable)" 195 197)
  ("(x down)" 197 216)
  ("(x stable)" 216 221)
  ("(x up)" 221 225)
  ("(y 3)" 3 7)
  ("(y 2)" 7 26)
  ("(y 3)" 26 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 40)
  ("(y 6)" 40 71)
  ("(y 5)" 71 75)
  ("(y 4)" 75 77)
  ("(y 3)" 77 80)
  ("(y 2)" 80 86)
  ("(y 1)" 86 109)
  ("(y 2)" 109 114)
  ("(y 3)" 114 119)
  ("(y 4)" 119 123)
  ("(y 5)" 123 151)
  ("(y 4)" 151 156)
  ("(y 3)" 156 160)
  ("(y 2)" 160 166)
  ("(y 1)" 166 195)
  ("(y 2)" 195 200)
  ("(y 3)" 200 203)
  ("(y 4)" 203 207)
  ("(y 5)" 207 225)
  ("(y up)" 4 8)
  ("(y stable)" 8 26)
  ("(y down)" 26 56)
  ("(y stable)" 56 57)
  ("(y up)" 57 101)
  ("(y down)" 101 135)
  ("(y stable)" 135 142)
  ("(y up)" 142 184)
  ("(y stable)" 184 186)
  ("(y down)" 186 217)
  ("(y stable)" 217 221)
  ("(y up)" 221 225)
 ))
(3
 (
  ("(x 6)" 3 20)
  ("(x 5)" 20 24)
  ("(x 6)" 24 61)
  ("(x 5)" 61 66)
  ("(x 4)" 66 72)
  ("(x 3)" 72 79)
  ("(x 2)" 79 94)
  ("(x 3)" 94 102)
  ("(x 4)" 102 126)
  ("(x 3)" 126 130)
  ("(x 2)" 130 135)
  ("(x 1)" 135 169)
  ("(x 2)" 169 182)
  ("(x 1)" 182 183)
  ("(x down)" 4 7)
  ("(x stable)" 7 16)
  ("(x up)" 16 23)
  ("(x down)" 23 40)
  ("(x stable)" 40 52)
  ("(x up)" 52 87)
  ("(x down)" 87 115)
  ("(x stable)" 115 119)
  ("(x up)" 119 152)
  ("(x stable)" 152 153)
  ("(x down)" 153 174)
  ("(x stable)" 174 180)
  ("(x up)" 180 183)
  ("(y 2)" 3 23)
  ("(y 3)" 23 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 33)
  ("(y 6)" 33 56)
  ("(y 5)" 56 60)
  ("(y 4)" 60 62)
  ("(y 3)" 62 65)
  ("(y 2)" 65 70)
  ("(y 1)" 70 91)
  ("(y 2)" 91 94)
  ("(y 3)" 94 97)
  ("(y 4)" 97 101)
  ("(y 5)" 101 107)
  ("(y 6)" 107 121)
  ("(y 5)" 121 127)
  ("(y 4)" 127 130)
  ("(y 3)" 130 133)
  ("(y 2)" 133 136)
  ("(y 1)" 136 156)
  ("(y 2)" 156 159)
  ("(y 3)" 159 162)
  ("(y 4)" 162 165)
  ("(y 5)" 165 174)
  ("(y 6)" 174 182)
  ("(y 5)" 182 183)
  ("(y up)" 4 12)
  ("(y stable)" 12 19)
  ("(y down)" 19 46)
  ("(y up)" 46 83)
  ("(y stable)" 83 84)
  ("(y down)" 84 113)
  ("(y stable)" 113 116)
  ("(y up)" 116 148)
  ("(y stable)" 148 149)
  ("(y down)" 149 178)
  ("(y stable)" 178 180)
  ("(y up)" 180 183)
 ))
(4
 (
  ("(x 5)" 3 8)
  ("(x 6)" 8 66)
  ("(x 5)" 66 71)
  ("(x 4)" 71 75)
  ("(x 3)" 75 90)
  ("(x 2)" 90 98)
  ("(x 3)" 98 110)
  ("(x 4)" 110 133)
  ("(x 3)" 133 138)
  ("(x 2)" 138 143)
  ("(x 1)" 143 181)
  ("(x 2)" 181 197)
  ("(x 1)" 197 199)
  ("(x down)" 4 13)
  ("(x stable)" 13 25)
  ("(x down)" 25 56)
  ("(x stable)" 56 57)
  ("(x up)" 57 94)
  ("(x stable)" 94 95)
  ("(x down)" 95 117)
  ("(x stable)" 117 130)
  ("(x up)" 130 167)
  ("(x stable)" 167 168)
  ("(x down)" 168 187)
  ("(x stable)" 187 193)
  ("(x up)" 193 199)
  ("(y 2)" 3 31)
  ("(y 3)" 31 34)
  ("(y 4)" 34 37)
  ("(y 5)" 37 41)
  ("(y 6)" 41 62)
  ("(y 5)" 62 65)
  ("(y 4)" 65 68)
  ("(y 3)" 68 70)
  ("(y 2)" 70 74)
  ("(y 1)" 74 94)
  ("(y 2)" 94 98)
  ("(y 3)" 98 101)
  ("(y 4)" 101 104)
  ("(y 5)" 104 112)
  ("(y 6)" 112 132)
  ("(y 5)" 132 137)
  ("(y 4)" 137 140)
  ("(y 3)" 140 142)
  ("(y 2)" 142 147)
  ("(y 1)" 147 169)
  ("(y 2)" 169 173)
  ("(y 3)" 173 176)
  ("(y 4)" 176 179)
  ("(y 5)" 179 199)
  ("(y stable)" 4 8)
  ("(y up)" 8 21)
  ("(y stable)" 21 24)
  ("(y down)" 24 53)
  ("(y stable)" 53 54)
  ("(y up)" 54 83)
  ("(y stable)" 83 87)
  ("(y down)" 87 119)
  ("(y stable)" 119 127)
  ("(y up)" 127 157)
  ("(y stable)" 157 163)
  ("(y down)" 163 191)
  ("(y stable)" 191 195)
  ("(y up)" 195 199)
 ))
(5
 (
  ("(x 5)" 3 9)
  ("(x 6)" 9 46)
  ("(x 5)" 46 51)
  ("(x 4)" 51 55)
  ("(x 3)" 55 71)
  ("(x 2)" 71 76)
  ("(x 3)" 76 86)
  ("(x 4)" 86 108)
  ("(x 3)" 108 113)
  ("(x 2)" 113 118)
  ("(x 1)" 118 149)
  ("(x 2)" 149 165)
  ("(x 1)" 165 166)
  ("(x down)" 4 32)
  ("(x stable)" 32 34)
  ("(x up)" 34 74)
  ("(x down)" 74 96)
  ("(x stable)" 96 102)
  ("(x up)" 102 135)
  ("(x down)" 135 157)
  ("(x stable)" 157 160)
  ("(x up)" 160 166)
  ("(y 2)" 3 8)
  ("(y 3)" 8 13)
  ("(y 4)" 13 16)
  ("(y 5)" 16 20)
  ("(y 6)" 20 41)
  ("(y 5)" 41 45)
  ("(y 4)" 45 48)
  ("(y 3)" 48 50)
  ("(y 2)" 50 54)
  ("(y 1)" 54 75)
  ("(y 2)" 75 79)
  ("(y 3)" 79 82)
  ("(y 4)" 82 87)
  ("(y 5)" 87 107)
  ("(y 4)" 107 111)
  ("(y 3)" 111 114)
  ("(y 2)" 114 118)
  ("(y 1)" 118 136)
  ("(y 2)" 136 140)
  ("(y 3)" 140 143)
  ("(y 4)" 143 147)
  ("(y 5)" 147 166)
  ("(y up)" 4 6)
  ("(y stable)" 6 7)
  ("(y down)" 7 32)
  ("(y stable)" 32 33)
  ("(y up)" 33 65)
  ("(y stable)" 65 66)
  ("(y down)" 66 96)
  ("(y stable)" 96 100)
  ("(y up)" 100 128)
  ("(y stable)" 128 129)
  ("(y down)" 129 158)
  ("(y stable)" 158 160)
  ("(y up)" 160 166)
 ))
(6
 (
  ("(x 6)" 3 69)
  ("(x 5)" 69 80)
  ("(x 4)" 80 95)
  ("(x 3)" 95 120)
  ("(x 4)" 120 157)
  ("(x 3)" 157 163)
  ("(x 2)" 163 172)
  ("(x 1)" 172 243)
  ("(x stable)" 4 21)
  ("(x down)" 21 43)
  ("(x stable)" 43 56)
  ("(x up)" 56 108)
  ("(x stable)" 108 111)
  ("(x down)" 111 132)
  ("(x stable)" 132 150)
  ("(x up)" 150 206)
  ("(x stable)" 206 207)
  ("(x down)" 207 232)
  ("(x stable)" 232 240)
  ("(x up)" 240 243)
  ("(y 2)" 3 21)
  ("(y 3)" 21 25)
  ("(y 4)" 25 28)
  ("(y 5)" 28 32)
  ("(y 6)" 32 59)
  ("(y 5)" 59 64)
  ("(y 4)" 64 68)
  ("(y 3)" 68 71)
  ("(y 2)" 71 77)
  ("(y 1)" 77 104)
  ("(y 2)" 104 110)
  ("(y 3)" 110 114)
  ("(y 4)" 114 118)
  ("(y 5)" 118 123)
  ("(y 6)" 123 152)
  ("(y 5)" 152 157)
  ("(y 4)" 157 161)
  ("(y 3)" 161 166)
  ("(y 2)" 166 174)
  ("(y 1)" 174 206)
  ("(y 2)" 206 211)
  ("(y 3)" 211 215)
  ("(y 4)" 215 220)
  ("(y 5)" 220 243)
  ("(y stable)" 4 10)
  ("(y down)" 10 40)
  ("(y stable)" 40 51)
  ("(y up)" 51 90)
  ("(y stable)" 90 95)
  ("(y down)" 95 133)
  ("(y stable)" 133 143)
  ("(y up)" 143 190)
  ("(y stable)" 190 196)
  ("(y down)" 196 233)
  ("(y stable)" 233 240)
  ("(y up)" 240 243)
 ))
(7
 (
  ("(x 6)" 3 72)
  ("(x 5)" 72 78)
  ("(x 4)" 78 84)
  ("(x 3)" 84 106)
  ("(x 2)" 106 116)
  ("(x 3)" 116 126)
  ("(x 4)" 126 152)
  ("(x 3)" 152 158)
  ("(x 2)" 158 165)
  ("(x 1)" 165 217)
  ("(x 2)" 217 225)
  ("(x 1)" 225 228)
  ("(x down)" 4 7)
  ("(x stable)" 7 22)
  ("(x down)" 22 35)
  ("(x stable)" 35 38)
  ("(x down)" 38 45)
  ("(x stable)" 45 47)
  ("(x down)" 47 60)
  ("(x stable)" 60 61)
  ("(x up)" 61 91)
  ("(x stable)" 91 94)
  ("(x up)" 94 111)
  ("(x stable)" 111 113)
  ("(x down)" 113 138)
  ("(x stable)" 138 145)
  ("(x up)" 145 178)
  ("(x stable)" 178 179)
  ("(x up)" 179 196)
  ("(x stable)" 196 197)
  ("(x down)" 197 220)
  ("(x stable)" 220 224)
  ("(x up)" 224 228)
  ("(y 2)" 3 24)
  ("(y 3)" 24 28)
  ("(y 4)" 28 32)
  ("(y 5)" 32 36)
  ("(y 6)" 36 62)
  ("(y 5)" 62 68)
  ("(y 4)" 68 71)
  ("(y 3)" 71 75)
  ("(y 2)" 75 79)
  ("(y 1)" 79 110)
  ("(y 2)" 110 114)
  ("(y 3)" 114 118)
  ("(y 4)" 118 121)
  ("(y 5)" 121 127)
  ("(y 6)" 127 146)
  ("(y 5)" 146 151)
  ("(y 4)" 151 155)
  ("(y 3)" 155 160)
  ("(y 2)" 160 169)
  ("(y 1)" 169 191)
  ("(y 2)" 191 199)
  ("(y 3)" 199 202)
  ("(y 4)" 202 205)
  ("(y 5)" 205 210)
  ("(y 6)" 210 228)
  ("(y up)" 4 8)
  ("(y stable)" 8 20)
  ("(y down)" 20 48)
  ("(y stable)" 48 50)
  ("(y up)" 50 89)
  ("(y stable)" 89 96)
  ("(y down)" 96 136)
  ("(y stable)" 136 139)
  ("(y up)" 139 175)
  ("(y stable)" 175 186)
  ("(y down)" 186 221)
  ("(y stable)" 221 224)
  ("(y up)" 224 228)
 ))
(8
 (
  ("(x 5)" 3 17)
  ("(x 6)" 17 54)
  ("(x 5)" 54 59)
  ("(x 4)" 59 65)
  ("(x 3)" 65 73)
  ("(x 2)" 73 86)
  ("(x 3)" 86 94)
  ("(x 4)" 94 112)
  ("(x 3)" 112 117)
  ("(x 2)" 117 122)
  ("(x 1)" 122 157)
  ("(x 2)" 157 171)
  ("(x 1)" 171 172)
  ("(x stable)" 4 10)
  ("(x down)" 10 39)
  ("(x stable)" 39 41)
  ("(x up)" 41 81)
  ("(x stable)" 81 82)
  ("(x down)" 82 103)
  ("(x stable)" 103 107)
  ("(x up)" 107 135)
  ("(x stable)" 135 142)
  ("(x down)" 142 164)
  ("(x stable)" 164 167)
  ("(x up)" 167 172)
  ("(y 2)" 3 17)
  ("(y 3)" 17 20)
  ("(y 4)" 20 23)
  ("(y 5)" 23 27)
  ("(y 6)" 27 52)
  ("(y 5)" 52 54)
  ("(y 4)" 54 56)
  ("(y 3)" 56 59)
  ("(y 2)" 59 64)
  ("(y 1)" 64 84)
  ("(y 2)" 84 88)
  ("(y 3)" 88 92)
  ("(y 4)" 92 96)
  ("(y 5)" 96 110)
  ("(y 4)" 110 114)
  ("(y 3)" 114 118)
  ("(y 2)" 118 123)
  ("(y 1)" 123 141)
  ("(y 2)" 141 146)
  ("(y 3)" 146 149)
  ("(y 4)" 149 153)
  ("(y 5)" 153 172)
  ("(y stable)" 4 10)
  ("(y down)" 10 39)
  ("(y stable)" 39 40)
  ("(y up)" 40 75)
  ("(y stable)" 75 76)
  ("(y down)" 76 103)
  ("(y stable)" 103 105)
  ("(y up)" 105 133)
  ("(y stable)" 133 135)
  ("(y down)" 135 165)
  ("(y stable)" 165 167)
  ("(y up)" 167 172)
 ))
(9
 (
  ("(x 5)" 3 16)
  ("(x 6)" 16 66)
  ("(x 5)" 66 75)
  ("(x 4)" 75 85)
  ("(x 3)" 85 113)
  ("(x 4)" 113 133)
  ("(x 3)" 133 139)
  ("(x 2)" 139 146)
  ("(x 1)" 146 202)
  ("(x stable)" 4 11)
  ("(x down)" 11 38)
  ("(x stable)" 38 55)
  ("(x up)" 55 101)
  ("(x stable)" 101 104)
  ("(x down)" 104 119)
  ("(x stable)" 119 128)
  ("(x up)" 128 159)
  ("(x stable)" 159 162)
  ("(x up)" 162 179)
  ("(x down)" 179 186)
  ("(x stable)" 186 199)
  ("(x up)" 199 202)
  ("(y 1)" 3 22)
  ("(y 2)" 22 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 35)
  ("(y 6)" 35 60)
  ("(y 5)" 60 64)
  ("(y 4)" 64 67)
  ("(y 3)" 67 70)
  ("(y 2)" 70 75)
  ("(y 1)" 75 97)
  ("(y 2)" 97 102)
  ("(y 3)" 102 106)
  ("(y 4)" 106 109)
  ("(y 5)" 109 113)
  ("(y 6)" 113 129)
  ("(y 5)" 129 135)
  ("(y 4)" 135 139)
  ("(y 3)" 139 143)
  ("(y 2)" 143 150)
  ("(y 1)" 150 165)
  ("(y 2)" 165 171)
  ("(y 3)" 171 175)
  ("(y 4)" 175 178)
  ("(y 5)" 178 184)
  ("(y 6)" 184 199)
  ("(y 5)" 199 202)
  ("(y up)" 4 9)
  ("(y stable)" 9 15)
  ("(y down)" 15 44)
  ("(y stable)" 44 52)
  ("(y up)" 52 85)
  ("(y stable)" 85 89)
  ("(y down)" 89 119)
  ("(y stable)" 119 123)
  ("(y up)" 123 159)
  ("(y stable)" 159 160)
  ("(y down)" 160 191)
  ("(y up)" 191 202)
 ))
(10
 (
  ("(x 6)" 3 63)
  ("(x 5)" 63 72)
  ("(x 4)" 72 90)
  ("(x 3)" 90 114)
  ("(x 4)" 114 126)
  ("(x 3)" 126 134)
  ("(x 2)" 134 146)
  ("(x 1)" 146 195)
  ("(x down)" 4 10)
  ("(x stable)" 10 17)
  ("(x down)" 17 39)
  ("(x stable)" 39 55)
  ("(x up)" 55 100)
  ("(x stable)" 100 103)
  ("(x down)" 103 122)
  ("(x stable)" 122 123)
  ("(x up)" 123 169)
  ("(x stable)" 169 170)
  ("(x down)" 170 180)
  ("(x stable)" 180 188)
  ("(x down)" 188 195)
  ("(y 1)" 3 21)
  ("(y 2)" 21 25)
  ("(y 3)" 25 28)
  ("(y 4)" 28 30)
  ("(y 5)" 30 33)
  ("(y 6)" 33 55)
  ("(y 5)" 55 59)
  ("(y 4)" 59 62)
  ("(y 3)" 62 65)
  ("(y 2)" 65 71)
  ("(y 1)" 71 89)
  ("(y 2)" 89 94)
  ("(y 3)" 94 98)
  ("(y 4)" 98 103)
  ("(y 5)" 103 108)
  ("(y 6)" 108 121)
  ("(y 5)" 121 127)
  ("(y 4)" 127 130)
  ("(y 3)" 130 133)
  ("(y 2)" 133 138)
  ("(y 1)" 138 159)
  ("(y 2)" 159 164)
  ("(y 3)" 164 167)
  ("(y 4)" 167 170)
  ("(y 5)" 170 176)
  ("(y 6)" 176 190)
  ("(y 5)" 190 195)
  ("(y up)" 4 13)
  ("(y stable)" 13 15)
  ("(y down)" 15 43)
  ("(y stable)" 43 45)
  ("(y up)" 45 80)
  ("(y stable)" 80 82)
  ("(y down)" 82 114)
  ("(y stable)" 114 116)
  ("(y up)" 116 150)
  ("(y stable)" 150 151)
  ("(y down)" 151 182)
  ("(y stable)" 182 184)
  ("(y up)" 184 195)
 ))
(11
 (
  ("(x 6)" 3 54)
  ("(x 5)" 54 62)
  ("(x 4)" 62 76)
  ("(x 3)" 76 100)
  ("(x 4)" 100 120)
  ("(x 3)" 120 128)
  ("(x 2)" 128 136)
  ("(x 1)" 136 186)
  ("(x stable)" 4 9)
  ("(x down)" 9 30)
  ("(x stable)" 30 44)
  ("(x up)" 44 89)
  ("(x down)" 89 106)
  ("(x stable)" 106 117)
  ("(x up)" 117 154)
  ("(x stable)" 154 155)
  ("(x down)" 155 179)
  ("(x stable)" 179 180)
  ("(x up)" 180 186)
  ("(y 1)" 3 13)
  ("(y 2)" 13 17)
  ("(y 3)" 17 20)
  ("(y 4)" 20 23)
  ("(y 5)" 23 26)
  ("(y 6)" 26 47)
  ("(y 5)" 47 52)
  ("(y 4)" 52 55)
  ("(y 3)" 55 58)
  ("(y 2)" 58 63)
  ("(y 1)" 63 86)
  ("(y 2)" 86 90)
  ("(y 3)" 90 93)
  ("(y 4)" 93 95)
  ("(y 5)" 95 101)
  ("(y 6)" 101 114)
  ("(y 5)" 114 119)
  ("(y 4)" 119 122)
  ("(y 3)" 122 126)
  ("(y 2)" 126 134)
  ("(y 1)" 134 153)
  ("(y 2)" 153 158)
  ("(y 3)" 158 161)
  ("(y 4)" 161 164)
  ("(y 5)" 164 168)
  ("(y 6)" 168 186)
  ("(y stable)" 4 7)
  ("(y down)" 7 36)
  ("(y stable)" 36 39)
  ("(y up)" 39 75)
  ("(y stable)" 75 78)
  ("(y down)" 78 107)
  ("(y stable)" 107 109)
  ("(y up)" 109 145)
  ("(y stable)" 145 147)
  ("(y down)" 147 177)
  ("(y stable)" 177 179)
  ("(y up)" 179 186)
 ))
(12
 (
  ("(x 5)" 3 14)
  ("(x 6)" 14 58)
  ("(x 5)" 58 67)
  ("(x 4)" 67 80)
  ("(x 3)" 80 104)
  ("(x 4)" 104 117)
  ("(x 3)" 117 124)
  ("(x 2)" 124 131)
  ("(x 1)" 131 174)
  ("(x stable)" 4 8)
  ("(x down)" 8 32)
  ("(x stable)" 32 40)
  ("(x down)" 40 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 91)
  ("(x stable)" 91 92)
  ("(x down)" 92 108)
  ("(x stable)" 108 115)
  ("(x up)" 115 151)
  ("(x stable)" 151 153)
  ("(x down)" 153 160)
  ("(x stable)" 160 169)
  ("(x up)" 169 174)
  ("(y 1)" 3 14)
  ("(y 2)" 14 18)
  ("(y 3)" 18 21)
  ("(y 4)" 21 23)
  ("(y 5)" 23 27)
  ("(y 6)" 27 51)
  ("(y 5)" 51 56)
  ("(y 4)" 56 59)
  ("(y 3)" 59 63)
  ("(y 2)" 63 68)
  ("(y 1)" 68 86)
  ("(y 2)" 86 90)
  ("(y 3)" 90 93)
  ("(y 4)" 93 97)
  ("(y 5)" 97 104)
  ("(y 6)" 104 110)
  ("(y 5)" 110 117)
  ("(y 4)" 117 120)
  ("(y 3)" 120 124)
  ("(y 2)" 124 131)
  ("(y 1)" 131 147)
  ("(y 2)" 147 151)
  ("(y 3)" 151 154)
  ("(y 4)" 154 157)
  ("(y 5)" 157 174)
  ("(y stable)" 4 8)
  ("(y down)" 8 39)
  ("(y stable)" 39 41)
  ("(y up)" 41 79)
  ("(y down)" 79 107)
  ("(y stable)" 107 108)
  ("(y up)" 108 140)
  ("(y stable)" 140 141)
  ("(y down)" 141 166)
  ("(y stable)" 166 167)
  ("(y up)" 167 174)
 ))
(13
 (
  ("(x 6)" 3 62)
  ("(x 5)" 62 72)
  ("(x 4)" 72 78)
  ("(x 3)" 78 130)
  ("(x 2)" 130 140)
  ("(x 1)" 140 185)
  ("(x stable)" 4 17)
  ("(x down)" 17 39)
  ("(x stable)" 39 48)
  ("(x up)" 48 95)
  ("(x stable)" 95 100)
  ("(x down)" 100 110)
  ("(x stable)" 110 113)
  ("(x down)" 113 120)
  ("(x stable)" 120 122)
  ("(x up)" 122 159)
  ("(x stable)" 159 165)
  ("(x down)" 165 172)
  ("(x stable)" 172 183)
  ("(x up)" 183 185)
  ("(y 1)" 3 22)
  ("(y 2)" 22 25)
  ("(y 3)" 25 27)
  ("(y 4)" 27 29)
  ("(y 5)" 29 31)
  ("(y 6)" 31 54)
  ("(y 5)" 54 58)
  ("(y 4)" 58 62)
  ("(y 3)" 62 68)
  ("(y 2)" 68 76)
  ("(y 1)" 76 89)
  ("(y 2)" 89 94)
  ("(y 3)" 94 97)
  ("(y 4)" 97 100)
  ("(y 5)" 100 108)
  ("(y 6)" 108 115)
  ("(y 5)" 115 122)
  ("(y 4)" 122 125)
  ("(y 3)" 125 129)
  ("(y 2)" 129 134)
  ("(y 1)" 134 151)
  ("(y 2)" 151 156)
  ("(y 3)" 156 159)
  ("(y 4)" 159 163)
  ("(y 5)" 163 185)
  ("(y stable)" 4 17)
  ("(y down)" 17 42)
  ("(y stable)" 42 44)
  ("(y up)" 44 81)
  ("(y stable)" 81 85)
  ("(y down)" 85 113)
  ("(y up)" 113 143)
  ("(y stable)" 143 145)
  ("(y down)" 145 174)
  ("(y stable)" 174 178)
  ("(y up)" 178 185)
 ))
(14
 (
  ("(x 6)" 3 60)
  ("(x 5)" 60 73)
  ("(x 4)" 73 81)
  ("(x 3)" 81 111)
  ("(x 4)" 111 122)
  ("(x 3)" 122 131)
  ("(x 2)" 131 141)
  ("(x 1)" 141 195)
  ("(x stable)" 4 17)
  ("(x down)" 17 37)
  ("(x stable)" 37 47)
  ("(x up)" 47 93)
  ("(x stable)" 93 94)
  ("(x down)" 94 108)
  ("(x stable)" 108 111)
  ("(x down)" 111 118)
  ("(x stable)" 118 119)
  ("(x up)" 119 164)
  ("(x stable)" 164 166)
  ("(x down)" 166 178)
  ("(x stable)" 178 191)
  ("(x up)" 191 195)
  ("(y 2)" 3 7)
  ("(y 1)" 7 12)
  ("(y 2)" 12 19)
  ("(y 3)" 19 22)
  ("(y 4)" 22 24)
  ("(y 5)" 24 28)
  ("(y 6)" 28 53)
  ("(y 5)" 53 57)
  ("(y 4)" 57 59)
  ("(y 3)" 59 63)
  ("(y 2)" 63 71)
  ("(y 1)" 71 91)
  ("(y 2)" 91 94)
  ("(y 3)" 94 97)
  ("(y 4)" 97 100)
  ("(y 5)" 100 122)
  ("(y 4)" 122 126)
  ("(y 3)" 126 130)
  ("(y 2)" 130 136)
  ("(y 1)" 136 159)
  ("(y 2)" 159 164)
  ("(y 3)" 164 167)
  ("(y 4)" 167 170)
  ("(y 5)" 170 175)
  ("(y 6)" 175 190)
  ("(y 5)" 190 195)
  ("(y up)" 4 9)
  ("(y stable)" 9 11)
  ("(y down)" 11 40)
  ("(y stable)" 40 42)
  ("(y up)" 42 82)
  ("(y stable)" 82 84)
  ("(y down)" 84 110)
  ("(y stable)" 110 113)
  ("(y up)" 113 147)
  ("(y stable)" 147 151)
  ("(y down)" 151 183)
  ("(y up)" 183 195)
 ))
(15
 (
  ("(x 6)" 3 63)
  ("(x 5)" 63 78)
  ("(x 4)" 78 91)
  ("(x 3)" 91 143)
  ("(x 2)" 143 156)
  ("(x 1)" 156 208)
  ("(x stable)" 4 15)
  ("(x up)" 15 29)
  ("(x stable)" 29 30)
  ("(x up)" 30 37)
  ("(x stable)" 37 49)
  ("(x up)" 49 104)
  ("(x down)" 104 117)
  ("(x stable)" 117 132)
  ("(x up)" 132 177)
  ("(x stable)" 177 205)
  ("(x up)" 205 208)
  ("(y 2)" 3 20)
  ("(y 3)" 20 24)
  ("(y 4)" 24 26)
  ("(y 5)" 26 30)
  ("(y 6)" 30 60)
  ("(y 5)" 60 63)
  ("(y 4)" 63 66)
  ("(y 3)" 66 70)
  ("(y 2)" 70 77)
  ("(y 1)" 77 96)
  ("(y 2)" 96 101)
  ("(y 3)" 101 104)
  ("(y 4)" 104 109)
  ("(y 5)" 109 135)
  ("(y 4)" 135 138)
  ("(y 3)" 138 142)
  ("(y 2)" 142 148)
  ("(y 1)" 148 172)
  ("(y 2)" 172 176)
  ("(y 3)" 176 181)
  ("(y 4)" 181 189)
  ("(y 5)" 189 207)
  ("(y 4)" 207 208)
  ("(y stable)" 4 15)
  ("(y down)" 15 45)
  ("(y stable)" 45 49)
  ("(y up)" 49 89)
  ("(y stable)" 89 90)
  ("(y down)" 90 120)
  ("(y stable)" 120 127)
  ("(y up)" 127 162)
  ("(y stable)" 162 163)
  ("(y down)" 163 195)
  ("(y stable)" 195 203)
  ("(y up)" 203 208)
 ))
(16
 (
  ("(x 6)" 3 68)
  ("(x 5)" 68 96)
  ("(x 4)" 96 107)
  ("(x 3)" 107 159)
  ("(x 2)" 159 170)
  ("(x 1)" 170 225)
  ("(x stable)" 4 14)
  ("(x up)" 14 19)
  ("(x stable)" 19 21)
  ("(x down)" 21 26)
  ("(x stable)" 26 49)
  ("(x up)" 49 56)
  ("(x stable)" 56 59)
  ("(x up)" 59 120)
  ("(x stable)" 120 122)
  ("(x down)" 122 135)
  ("(x stable)" 135 144)
  ("(x down)" 144 148)
  ("(x stable)" 148 150)
  ("(x up)" 150 194)
  ("(x stable)" 194 196)
  ("(x down)" 196 210)
  ("(x stable)" 210 225)
  ("(y 1)" 3 21)
  ("(y 2)" 21 26)
  ("(y 3)" 26 29)
  ("(y 4)" 29 32)
  ("(y 5)" 32 36)
  ("(y 6)" 36 64)
  ("(y 5)" 64 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 78)
  ("(y 2)" 78 91)
  ("(y 1)" 91 105)
  ("(y 2)" 105 115)
  ("(y 3)" 115 119)
  ("(y 4)" 119 123)
  ("(y 5)" 123 128)
  ("(y 6)" 128 150)
  ("(y 5)" 150 153)
  ("(y 4)" 153 156)
  ("(y 3)" 156 160)
  ("(y 2)" 160 166)
  ("(y 1)" 166 189)
  ("(y 2)" 189 194)
  ("(y 3)" 194 198)
  ("(y 4)" 198 203)
  ("(y 5)" 203 225)
  ("(y stable)" 4 14)
  ("(y down)" 14 53)
  ("(y up)" 53 100)
  ("(y down)" 100 138)
  ("(y stable)" 138 143)
  ("(y up)" 143 178)
  ("(y stable)" 178 180)
  ("(y down)" 180 210)
  ("(y stable)" 210 216)
  ("(y up)" 216 225)
 ))
(17
 (
  ("(x 6)" 3 63)
  ("(x 5)" 63 78)
  ("(x 4)" 78 99)
  ("(x 3)" 99 150)
  ("(x 2)" 150 160)
  ("(x 1)" 160 224)
  ("(x stable)" 4 12)
  ("(x down)" 12 25)
  ("(x stable)" 25 31)
  ("(x down)" 31 38)
  ("(x stable)" 38 48)
  ("(x up)" 48 110)
  ("(x stable)" 110 111)
  ("(x down)" 111 124)
  ("(x stable)" 124 129)
  ("(x down)" 129 136)
  ("(x stable)" 136 138)
  ("(x up)" 138 169)
  ("(x stable)" 169 173)
  ("(x up)" 173 189)
  ("(x down)" 189 201)
  ("(x stable)" 201 222)
  ("(x down)" 222 224)
  ("(y 2)" 3 16)
  ("(y 3)" 16 19)
  ("(y 4)" 19 22)
  ("(y 5)" 22 27)
  ("(y 6)" 27 54)
  ("(y 5)" 54 58)
  ("(y 4)" 58 61)
  ("(y 3)" 61 66)
  ("(y 2)" 66 76)
  ("(y 1)" 76 102)
  ("(y 2)" 102 107)
  ("(y 3)" 107 109)
  ("(y 4)" 109 112)
  ("(y 5)" 112 118)
  ("(y 6)" 118 132)
  ("(y 5)" 132 137)
  ("(y 4)" 137 141)
  ("(y 3)" 141 147)
  ("(y 2)" 147 155)
  ("(y 1)" 155 184)
  ("(y 2)" 184 188)
  ("(y 3)" 188 191)
  ("(y 4)" 191 194)
  ("(y 5)" 194 200)
  ("(y 6)" 200 214)
  ("(y 5)" 214 224)
  ("(y stable)" 4 8)
  ("(y down)" 8 39)
  ("(y stable)" 39 44)
  ("(y up)" 44 87)
  ("(y stable)" 87 96)
  ("(y down)" 96 123)
  ("(y stable)" 123 128)
  ("(y up)" 128 166)
  ("(y stable)" 166 175)
  ("(y down)" 175 205)
  ("(y stable)" 205 210)
  ("(y up)" 210 224)
 ))
(18
 (
  ("(x 6)" 3 60)
  ("(x 5)" 60 71)
  ("(x 4)" 71 78)
  ("(x 3)" 78 115)
  ("(x 4)" 115 123)
  ("(x 3)" 123 133)
  ("(x 2)" 133 146)
  ("(x 1)" 146 195)
  ("(x stable)" 4 18)
  ("(x up)" 18 25)
  ("(x stable)" 25 49)
  ("(x up)" 49 96)
  ("(x stable)" 96 97)
  ("(x down)" 97 116)
  ("(x stable)" 116 123)
  ("(x up)" 123 163)
  ("(x stable)" 163 170)
  ("(x down)" 170 177)
  ("(x stable)" 177 195)
  ("(y 2)" 3 14)
  ("(y 3)" 14 19)
  ("(y 4)" 19 22)
  ("(y 5)" 22 26)
  ("(y 6)" 26 53)
  ("(y 5)" 53 56)
  ("(y 4)" 56 59)
  ("(y 3)" 59 63)
  ("(y 2)" 63 70)
  ("(y 1)" 70 94)
  ("(y 2)" 94 98)
  ("(y 3)" 98 100)
  ("(y 4)" 100 104)
  ("(y 5)" 104 112)
  ("(y 6)" 112 119)
  ("(y 5)" 119 126)
  ("(y 4)" 126 129)
  ("(y 3)" 129 132)
  ("(y 2)" 132 137)
  ("(y 1)" 137 161)
  ("(y 2)" 161 165)
  ("(y 3)" 165 168)
  ("(y 4)" 168 172)
  ("(y 5)" 172 195)
  ("(y up)" 4 8)
  ("(y stable)" 8 11)
  ("(y down)" 11 38)
  ("(y stable)" 38 43)
  ("(y up)" 43 83)
  ("(y stable)" 83 87)
  ("(y down)" 87 115)
  ("(y stable)" 115 117)
  ("(y up)" 117 152)
  ("(y stable)" 152 154)
  ("(y down)" 154 180)
  ("(y stable)" 180 189)
  ("(y up)" 189 195)
 ))
(19
 (
  ("(x 6)" 3 59)
  ("(x 5)" 59 75)
  ("(x 4)" 75 97)
  ("(x 3)" 97 101)
  ("(x 4)" 101 135)
  ("(x 3)" 135 144)
  ("(x 2)" 144 162)
  ("(x 1)" 162 210)
  ("(x stable)" 4 11)
  ("(x up)" 11 18)
  ("(x stable)" 18 34)
  ("(x down)" 34 41)
  ("(x stable)" 41 51)
  ("(x up)" 51 98)
  ("(x stable)" 98 101)
  ("(x down)" 101 114)
  ("(x stable)" 114 129)
  ("(x up)" 129 185)
  ("(x stable)" 185 187)
  ("(x down)" 187 199)
  ("(x stable)" 199 210)
  ("(y 2)" 3 15)
  ("(y 3)" 15 19)
  ("(y 4)" 19 23)
  ("(y 5)" 23 28)
  ("(y 6)" 28 52)
  ("(y 5)" 52 56)
  ("(y 4)" 56 59)
  ("(y 3)" 59 62)
  ("(y 2)" 62 69)
  ("(y 1)" 69 92)
  ("(y 2)" 92 96)
  ("(y 3)" 96 99)
  ("(y 4)" 99 102)
  ("(y 5)" 102 108)
  ("(y 6)" 108 127)
  ("(y 5)" 127 133)
  ("(y 4)" 133 135)
  ("(y 3)" 135 138)
  ("(y 2)" 138 144)
  ("(y 1)" 144 174)
  ("(y 2)" 174 179)
  ("(y 3)" 179 183)
  ("(y 4)" 183 186)
  ("(y 5)" 186 194)
  ("(y 6)" 194 205)
  ("(y 5)" 205 210)
  ("(y stable)" 4 8)
  ("(y down)" 8 39)
  ("(y stable)" 39 43)
  ("(y up)" 43 82)
  ("(y stable)" 82 85)
  ("(y down)" 85 116)
  ("(y stable)" 116 121)
  ("(y up)" 121 159)
  ("(y stable)" 159 163)
  ("(y down)" 163 198)
  ("(y stable)" 198 202)
  ("(y up)" 202 210)
 ))
(20
 (
  ("(x 6)" 3 66)
  ("(x 5)" 66 74)
  ("(x 4)" 74 93)
  ("(x 3)" 93 141)
  ("(x 2)" 141 151)
  ("(x 1)" 151 206)
  ("(x stable)" 4 15)
  ("(x up)" 15 20)
  ("(x stable)" 20 22)
  ("(x down)" 22 40)
  ("(x stable)" 40 54)
  ("(x up)" 54 86)
  ("(x stable)" 86 89)
  ("(x up)" 89 105)
  ("(x stable)" 105 107)
  ("(x down)" 107 114)
  ("(x stable)" 114 115)
  ("(x down)" 115 122)
  ("(x stable)" 122 134)
  ("(x up)" 134 175)
  ("(x stable)" 175 177)
  ("(x down)" 177 190)
  ("(x stable)" 190 204)
  ("(x up)" 204 206)
  ("(y 2)" 3 19)
  ("(y 3)" 19 23)
  ("(y 4)" 23 26)
  ("(y 5)" 26 31)
  ("(y 6)" 31 59)
  ("(y 5)" 59 62)
  ("(y 4)" 62 66)
  ("(y 3)" 66 69)
  ("(y 2)" 69 74)
  ("(y 1)" 74 96)
  ("(y 2)" 96 100)
  ("(y 3)" 100 103)
  ("(y 4)" 103 108)
  ("(y 5)" 108 132)
  ("(y 4)" 132 136)
  ("(y 3)" 136 140)
  ("(y 2)" 140 146)
  ("(y 1)" 146 171)
  ("(y 2)" 171 175)
  ("(y 3)" 175 178)
  ("(y 4)" 178 182)
  ("(y 5)" 182 188)
  ("(y 6)" 188 199)
  ("(y 5)" 199 206)
  ("(y stable)" 4 15)
  ("(y down)" 15 42)
  ("(y stable)" 42 49)
  ("(y up)" 49 84)
  ("(y stable)" 84 90)
  ("(y down)" 90 117)
  ("(y stable)" 117 125)
  ("(y up)" 125 161)
  ("(y stable)" 161 163)
  ("(y down)" 163 192)
  ("(y stable)" 192 196)
  ("(y up)" 196 206)
 ))
(21
 (
  ("(x 6)" 3 67)
  ("(x 5)" 67 78)
  ("(x 4)" 78 84)
  ("(x 3)" 84 115)
  ("(x 4)" 115 133)
  ("(x 3)" 133 141)
  ("(x 2)" 141 151)
  ("(x 1)" 151 207)
  ("(x down)" 4 8)
  ("(x stable)" 8 25)
  ("(x down)" 25 44)
  ("(x stable)" 44 56)
  ("(x up)" 56 99)
  ("(x stable)" 99 101)
  ("(x down)" 101 118)
  ("(x stable)" 118 131)
  ("(x up)" 131 161)
  ("(x stable)" 161 163)
  ("(x up)" 163 178)
  ("(x stable)" 178 195)
  ("(x down)" 195 202)
  ("(x stable)" 202 203)
  ("(x down)" 203 207)
  ("(y 2)" 3 25)
  ("(y 3)" 25 29)
  ("(y 4)" 29 31)
  ("(y 5)" 31 34)
  ("(y 6)" 34 61)
  ("(y 5)" 61 64)
  ("(y 4)" 64 66)
  ("(y 3)" 66 69)
  ("(y 2)" 69 75)
  ("(y 1)" 75 97)
  ("(y 2)" 97 101)
  ("(y 3)" 101 104)
  ("(y 4)" 104 107)
  ("(y 5)" 107 116)
  ("(y 6)" 116 128)
  ("(y 5)" 128 136)
  ("(y 4)" 136 139)
  ("(y 3)" 139 143)
  ("(y 2)" 143 148)
  ("(y 1)" 148 173)
  ("(y 2)" 173 178)
  ("(y 3)" 178 181)
  ("(y 4)" 181 184)
  ("(y 5)" 184 207)
  ("(y up)" 4 10)
  ("(y stable)" 10 22)
  ("(y down)" 22 46)
  ("(y stable)" 46 51)
  ("(y up)" 51 89)
  ("(y down)" 89 117)
  ("(y stable)" 117 128)
  ("(y up)" 128 164)
  ("(y stable)" 164 165)
  ("(y down)" 165 196)
  ("(y stable)" 196 202)
  ("(y up)" 202 207)
 ))
(22
 (
  ("(x 6)" 3 61)
  ("(x 5)" 61 74)
  ("(x 4)" 74 92)
  ("(x 3)" 92 139)
  ("(x 2)" 139 151)
  ("(x 1)" 151 213)
  ("(x stable)" 4 12)
  ("(x up)" 12 19)
  ("(x stable)" 19 51)
  ("(x up)" 51 100)
  ("(x stable)" 100 106)
  ("(x down)" 106 113)
  ("(x stable)" 113 129)
  ("(x up)" 129 176)
  ("(x stable)" 176 177)
  ("(x down)" 177 189)
  ("(x stable)" 189 197)
  ("(x down)" 197 204)
  ("(x stable)" 204 205)
  ("(x down)" 205 213)
  ("(y 2)" 3 15)
  ("(y 3)" 15 19)
  ("(y 4)" 19 22)
  ("(y 5)" 22 26)
  ("(y 6)" 26 54)
  ("(y 5)" 54 59)
  ("(y 4)" 59 61)
  ("(y 3)" 61 64)
  ("(y 2)" 64 70)
  ("(y 1)" 70 91)
  ("(y 2)" 91 96)
  ("(y 3)" 96 99)
  ("(y 4)" 99 103)
  ("(y 5)" 103 131)
  ("(y 4)" 131 133)
  ("(y 3)" 133 136)
  ("(y 2)" 136 141)
  ("(y 1)" 141 171)
  ("(y 2)" 171 175)
  ("(y 3)" 175 179)
  ("(y 4)" 179 182)
  ("(y 5)" 182 213)
  ("(y stable)" 4 5)
  ("(y down)" 5 39)
  ("(y stable)" 39 43)
  ("(y up)" 43 79)
  ("(y stable)" 79 82)
  ("(y down)" 82 115)
  ("(y stable)" 115 122)
  ("(y up)" 122 155)
  ("(y stable)" 155 163)
  ("(y down)" 163 195)
  ("(y stable)" 195 197)
  ("(y up)" 197 213)
 ))
